The BINSYN Program Suite
نویسندگان
چکیده
منابع مشابه
The CMU Task Parallel Program Suite
The idea of exploiting both task and data parallelism in programs is appealing. However, identifying realistic, yet manageable example programs that can beneet from such a mix of task and data parallelism is a major problem for researchers. We address this problem by describing a suite of ve application from the domains of scientiic, signal, and image processing that are of reasonable size, are...
متن کاملA graphical user interface to the CCP4 program suite.
CCP4i is a graphical user interface that makes running programs from the CCP4 suite simpler and quicker. It is particularly directed at inexperienced users and tightly linked to introductory and scientific documentation. It also provides a simple project-management system and visualization tools. The system is readily extensible and not specific to CCP4 software.
متن کاملCING: an integrated residue-based structure validation program suite
We present a suite of programs, named CING for Common Interface for NMR Structure Generation that provides for a residue-based, integrated validation of the structural NMR ensemble in conjunction with the experimental restraints and other input data. External validation programs and new internal validation routines compare the NMR-derived models with empirical data, measured chemical shifts, di...
متن کاملA Metrics Suite for Variable Categorization to Support Program Invariants
Invariants are generally implicit. Explicitly stating program invariants, help programmers to identify program properties that must be preserved while modifying the code. Existing dynamic techniques detect invariants which includes both relevant and irrelevant/unused variables and thereby relevant and irrelevant invariants involved in the program. Due to the presence of irrelevant variables and...
متن کاملDetailed Problem Descriptions for General Program Synthesis Benchmark Suite
Recent interest in the development and use of non-trivial benchmark problems for genetic programming research has highlighted the scarcity of general program synthesis (also called“traditional programming”) benchmark problems. We present a suite of 29 general program synthesis benchmark problems systematically selected from sources of introductory computer science programming problems. This sui...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the International Astronomical Union
سال: 2011
ISSN: 1743-9213,1743-9221
DOI: 10.1017/s1743921311027578